current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].
current_prolog_flag(argv,L),nth1(3,L,FILE), [FILE].

['framework/base.pl'].
['framework/ca.pl'].

print('ax1'), consca(bs,ctxm(zeta_,u,d_1,id_1,cd_1)), print(' succeeded'), !.
print('\n').
print('ax2'), consca(bs,ctxm(zeta_,u,d_4,id_4,cd_4)), print(' succeeded'), !.
print('\n').
print('ax3'), consca(bs,ctxm(zeta_,u,d_6,id_6,cd_6)), print(' succeeded'), !.
print('\n').
print('ax4'), consca(bs,ctxm(xi_,u,d_1,id_1,cd_1)), print(' succeeded'), !.
print('\n').
print('ax5'), consca(bs,ctxm(xi_,u,d_4,id_4,cd_4)), print(' succeeded'), !.
print('\n').
print('ax6'), consca(bs,ctxm(xi_,u,d_6,id_6,cd_6)), print(' succeeded'), !.
print('\n').
print('ar1'), linkable([ii,is,bs,ttp],ctx(kappa_,al),ctx(zeta_,u)), print(' succeeded'), !.
print('\n').
print('ar2'), linkable([ii,is,bs,ttp],ctx(kappa_,al),ctx(xi_,u)), print(' succeeded'), !.
print('\n').
print('sid1'), not(consca(bs,ctxm(_,_,_,id_3,cd_3))), print(' succeeded'), !.
print('\n').
print('sid2'), not(consca(bs,ctxm(_,_,_,id_5,cd_5))), print(' succeeded'), !.
print('\n').
print('spd'), not(consca(bs,ctxm(_,_,_,id_2,cd_2))), print(' succeeded'), !.
print('\n').
print('id1'), not(consca(is,ctxm(_,_,_,id_1,cd_1))), print(' succeeded'), !.
print('\n').
print('id2'), not(consca(is,ctxm(_,_,_,id_2,cd_2))), print(' succeeded'), !.
print('\n').
print('id3'), not(consca(is,ctxm(_,_,_,id_3,cd_3))), print(' succeeded'), !.
print('\n').
print('id4'), not(consca(is,ctxm(_,_,_,id_4,cd_4))), print(' succeeded'), !.
print('\n').
print('id5'), not(consca(ii,ctxm(_,_,_,id_5,cd_5))), print(' succeeded'), !.
print('\n').
print('id6'), not(consca(ii,ctxm(_,_,_,id_6,cd_6))), print(' succeeded'), !.
print('\n').
print('im1'), not((linkable(ii,ctx(dot,is),ctx(D,idp2)),linkable(ii,ctx(D,u),ctx(kappa_,al)))), print(' succeeded'), !.
print('\n').
print('im2'), not((linkable(is,ctx(dot,ii),ctx(D,idp1)),linkable(is,ctx(D,u),ctx(mu_,al)))), print(' succeeded'), !.
print('\n').
print('ism1'), not((linkable(ii,ctx(dot,bs),ctx(D,sp)),linkable(ii,ctx(D,u),ctx(kappa_,al)))), print(' succeeded'), !.
print('\n').
print('ism2'), not((linkable(is,ctx(dot,bs),ctx(D,sp)),linkable(is,ctx(D,u),ctx(mu_,al)))), print(' succeeded'), !.
print('\n').
print('sl'), not(linkable(bs,ctx(zeta_,u),ctx(xi_,u))), print(' succeeded'), !.
print('\n').
print('il1'), not(linkable(ii,ctx(kappa_,al),ctx(zeta_,u))), print(' succeeded'), !.
print('\n').
print('il2'), not(linkable(ii,ctx(kappa_,al),ctx(xi_,u))), print(' succeeded'), !.
print('\n').
print('il3'), not(linkable(is,ctx(mu_,al),ctx(zeta_,u))), print(' succeeded'), !.
print('\n').
print('il4'), not(linkable(is,ctx(mu_,al),ctx(xi_,u))), print(' succeeded'), !.
print('\n').
print('iil'), not(linkable([ii,is],ctx(kappa_,al),ctx(mu_,al))), print(' succeeded'), !.
print('\n').
print('isl1'), not(linkable([ii,is,bs],ctx(kappa_,al),ctx(zeta_,u))), print(' succeeded'), !.
print('\n').
print('isl2'), not(linkable([ii,is,bs],ctx(mu_,al),ctx(zeta_,u))), print(' succeeded'), !.
print('\n').
print('isl3'), not(linkable([ii,is,bs],ctx(kappa_,al),ctx(xi_,u))), print(' succeeded'), !.
print('\n').
print('isl4'), not(linkable([ii,is,bs],ctx(mu_,al),ctx(xi_,u))), print(' succeeded'), !.
print('\n').


